O Calculus Ratiocinator é um modelo lógico teórico universal para cálculo, um conceito contido nos escritos de Leibniz, normalmente emparelhado com conceito mais frequentemente mencionado, Characteristica Universalis, uma linguagem universal conceitual.